DCCA: a versatile paradigm for the description and development of concurrent communicating systems

نویسندگان

  • Sudhir Aggarwal
  • Sandeep Mitra
  • Sanjay S. Jagdale
چکیده

Few methodologies exist that facilitate the formal specification and prototyping of distributed systems. In this paper, we describe certain features of the Dynamic Coordinated Concurrent Activities (DCCA) model. Any DCCA specification consists of a set of of largely independent processes, each of which, however, needs to coordinate with several of its Upeers” in the course of its execution. Several diverse realworld applications subscribe to such a paradigm for example, a distributed control system for an automated factory, and a multiprocessor cache coherence system. DCCA is versatile enough to facilitate the specification of the protocols in both these systems on the same basis. Rapid prototyping and validation is also possible for DCCA models, as we describe in this paper. DCCA, and the attendant toolset could be of great use to a software engineer.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mobile Robot Control - The Subsumption Architecture and occam-pi

Brooks’ subsumption architecture is a design paradigm for mobile robot control that emphasises re-use of modules, decentralisation and concurrent, communicating processes. Through the use of occam-pi the subsumption architecture can be put to use on general purpose modern robotics hardware, providing a clean and robust development approach for the creation of robot control systems.

متن کامل

Signal Design at lsolated lntersecaions Using Expert Systems Technology

The procedural steps for developing an expert system for designing signals at isolated intersections are described and the most important development issues for each step are discussed. The steps include problem analysis and definition, preliminary prototype specification, knowledge acquisition strategy development, prototype development plan, knowledge extraction, knowledge representation, too...

متن کامل

CCS-Based Dynamic Logics for Communicating Concurrent Programs

This work presents three increasingly expressive Dynamic Logics in which the programs are CCS processes (sCCS-PDL, CCS-PDL and XCCSPDL). Their goal is to reason about properties of concurrent programs and systems described using CCS. In order to accomplish that, CCS’s operators and constructions are added to a basic modal logic in order to create dynamic logics that are suitable for the descrip...

متن کامل

Semantics and Verification of Hierarchical CRP Programs

Communicating Reactive Processes (CRP) paradigm uniies asynchronous and synchronous mechanisms of concurrent programming languages. As an example, CRP uniies Esterel and Hoare's Communicating Sequential Processes (CSP). It has been earlier shown that such a uniication and in particular CRP can be used for the speciication of hybrid systems and dynamic real-time systems. In this paper, we extend...

متن کامل

Verifiable Programming of Object-Oriented and Distributed Systems

Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. This paper explores a programming paradigm based on active, concurrent objects communicating by so-called asynchronous method calls giving rise to efficient interaction by means of non-blocking method calls, implemented by means o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995